#include "inc/os.h"

extern void os_main(void);

void start_kernel(void){

	uart_init();
        uart_puts("Hello World!\n");

        page_init();
	
	trap_init();

        sched_init();

	os_main();

        schedule();

        uart_puts("Would not go here!\n");

    	while(1){}; // stop here!
}
